A Generic Framework for Blackbox Components in WCET Computation,”

Abstract Validation of embedded hard real-time systems requires the computation of the Worst Case Execution Time (WCE

A variability analysis of low-latitude unidentified gamma-ray sources

We present a study of 40 low-latitude unidentified 3EG gamma-ray sources which were found to be not positionally coincident with any known class of potential gamma-ray emitters in the Galaxy (Romero, Benaglia & Torres, 1999). We have performed a variability analysis which reveals that many of these 40 sources are variable. These sources have, in addition, a steep mean value of the gamma-ray spectral index, $= 2.41 \pm 0.2$, which, combined with the high level of variability seems to rule out a pulsar origin. The positional coincidences with uncatalogued candidates to supernova remnants were also studied. Only 7 sources in the sample are spatially coincident with these candidates, a result that is shown to be consistent with the expected level of pure chance association. A complementary search for weak radio counterparts was also conducted and the results are presented as an extensive table containing all significant point-like radio sources within the 40 EGRET fields. We argue that in order to produce the high variability, steep gamma-ray spectra, and absence of strong radio counterparts observed in some of the gamma-ray sources of our sample a new class of objects should be postulated, and we analyze a viable candidate.Comment: Paper updated to match the accepted version to appear in Astronomy and Astrophysics, 2001. Tables 5,6,7 and 8 are in ascii format and need to be printed separately. they can also be obtained from http://www.iar.unlp.edu.ar/garra Table 5 is 62 pages long. Download the source to obtain the table

Lithium-6: A Probe of the Early Universe

I consider the synthesis of 6Li due to the decay of relic particles, such as gravitinos or moduli, after the epoch of Big Bang Nucleosynthesis. The synthesized 6Li/H ratio may be compared to 6Li/H in metal-poor stars which, in the absence of stellar depletion of 6Li, yields significantly stronger constraints on relic particle densities than the usual consideration of overproduction of 3He. Production of 6Li during such an era of non-thermal nucleosynthesis may also be regarded as a possible explanation for the relatively high 6Li/H ratios observed in metal-poor halo stars.Comment: final version, Physical Review Letters, additional figure giving limits on relic decaying particle

Stars in five dimensional Kaluza Klein gravity

In the five dimensional Kaluza Klein (KK) theory there is a well known class of static and electromagnetic--free KK--equations characterized by a naked singularity behavior, namely the Generalized Schwarzschild solution (GSS). We present here a set of interior solutions of five dimensional KK--equations. These equations have been numerically integrated to match the GSS in the vacuum. The solutions are candidates to describe the possible interior perfect fluid source of the exterior GSS metric and thus they can be models for stars for static, neutral astrophysical objects in the ordinary (four dimensional) spacetime.Comment: 15 pages, 8 figures. To be published in EPJ

Constraints on the Variations of the Fundamental Couplings

We reconsider several current bounds on the variation of the fine-structure constant in models where all gauge and Yukawa couplings vary in an interdependent manner, as would be expected in unified theories. In particular, we re-examine the bounds established by the Oklo reactor from the resonant neutron capture cross-section of 149Sm. By imposing variations in \Lambda_{QCD} and the quark masses, as dictated by unified theories, the corresponding bound on the variation of the fine-structure constant can be improved by about 2 orders of magnitude in such theories. In addition, we consider possible bounds on variations due to their effect on long lived \alpha- and \beta-decay isotopes, particularly 147Sm and 187Re. We obtain a strong constraint on \Delta \alpha / \alpha, comparable to that of Oklo but extending to a higher redshift corresponding to the age of the solar system, from the radioactive life-time of 187Re derived from meteoritic studies. We also analyze the astrophysical consequences of perturbing the decay Q values on bound state \beta-decays operating in the s-process.Comment: 25 pages, latex, 5 eps figure

Radiative decay of a massive particle and the non-thermal process in primordial nucleosynthesis

We consider the effects on big bang nucleosynthesis (BBN) of the radiative decay of a long-lived massive particle. If high-energy photons are emitted after the BBN epoch ($t \sim 1 - 10^3$ sec), they may change the abundances of the light elements through photodissociation processes, which may result in a significant discrepancy between standard BBN and observation. Taking into account recent observational and theoretical developments in this field, we revise our previous study constraining the abundance of the radiatively-decaying particles. In particular, on the theoretical side, it was recently claimed that the non-thermal production of $^6$Li, which is caused by the photodissociation of \hefour, most severely constrains the abundance of the radiatively-decaying particle. We will see, however, it is premature to emphasize the importance of the non-thermal production of $^6$Li because (i) the theoretical computation of the $^6$Li abundance has large uncertainty due to the lack of the precise understanding of the $^6$Li production cross section, and (ii) the observational data of $^6$Li abundance has large errors.Comment: 15 pages, using REVTeX and 3 postscript figure

parMERASA – multicore execution of parallelised hard real-time applications supporting analysability

Abstract-Engineers who design hard real-time embedded systems express a need for several times the performance available today while keeping safety as major criterion. A breakthrough in performance is expected by parallelizing hard real-time applications and running them on an embedded multi-core processor, which enables combining the requirements for high-performance with timing-predictable execution. parMERASA will provide a timing analyzable system of parallel hard real-time applications running on a scalable multicore processor. parMERASA goes one step beyond mixed criticality demands: It targets future complex control algorithms by parallelizing hard real-time programs to run on predictable multi-/many-core processors. We aim to achieve a breakthrough in techniques for parallelization of industrial hard real-time programs, provide hard real-time support in system software, WCET analysis and verification tools for multi-cores, and techniques for predictable multi-core designs with up to 64 cores